Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping, record extension, and modular composition of case branches. We extend row typing to capture generic programming over rows themselves, capturing patterns including lifting operations to records and variations from their component types, and the duality between cases blocks over variants and records of labeled functions, without placing specific requirements on the fields or constructors present in the records and variants. We formalize our approach in System R{\omega}, an extension of F{\omega} with row types, and give a denotational semantics for (stratified) R{\omega} in Agda.Comment: To appear at: International Conference on Functional Programming 2023 Corrected citations from previous versio

Annexin A11 is targeted by IgG4 and IgG1 autoantibodies in IgG4-related disease

Immunoglobulin G4-related disease (IgG4-RD) is a multiorgan immune-mediated disease that predominantly affects the biliary tract (IgG4-associated cholangitis, IAC) and pancreas (autoimmune pancreatitis, AIP). We recently identified highly expanded IgG4+ B-cell receptor clones in blood and affected tissues of patients with IAC/AIP suggestive of specific (auto)antigenic stimuli involved in initiating and/or maintaining the inflammatory response. This study aimed to identify (auto)antigen(s) that are responsible for the clonal expansion of IgG4+ B cells in IgG4-RD. We screened sera of patients with IAC/AIP (n=50), in comparison to control sera of patients with primary sclerosing cholangitis (PSC) and pancreatobiliary malignancies (n=47), for reactivity against human H69 cholangiocyte lysates on immunoblot. Subsequently, target antigens were immunoprecipitated and analysed by mass spectrometry. Prominent reactivity against a 56 kDa protein was detected in human H69 cholangiocyte lysates exposed to sera of nine patients with IAC/AIP. Affinity purification and mass spectrometry analysis identified annexin A11, a calcium-dependent phospholipid-binding protein. Annexin A11-specific IgG4 and IgG1 antibodies were only detected in serum of patients with IgG4-RD of the biliary tract/pancreas/salivary glands and not in disease mimickers with PSC and pancreatobiliary malignancies. Epitope analysis showed that two annexin A11 epitopes targeted by IgG1 and IgG4 autoantibodies were shared between patients with IAC/AIP and IgG4 antibodies blocked binding of IgG1 antibodies to the shared annexin A11 epitopes. Our data suggest that IgG1-mediated pro-inflammatory autoreactivity against annexin A11 in patients with IgG4-RD may be attenuated by formation of annexin A11-specific IgG4 antibodies supporting an anti-inflammatory role of IgG4 in IgG4-R

Blue-collar work is a risk factor for developing IgG4-related disease of the biliary tract and pancreas

Background & Aims: Immunoglobulin G4-related disease (IgG4-RD) of the biliary tract and pancreas is a fibroinflammatory disease of unknown origin with striking male predominance. We aimed to investigate whether blue-collar work and occupational contaminant exposure are risk factors for IgG4-RD of the biliary tract and pancreas. Method: We performed an age-/sex-matched case-control study in the largest academic medical centers of the Netherlands. Occupational history was surveyed by questionnaires. The International Standard Classification of Occupations (ISCO88) was used to classify jobs. Job exposure matrices ALOHA and DOM were utilized to assess the years individuals were exposed to compounds. The disease control cohort consisted of patients from 6 equally sized groups. Conditional logistic regression was used to assess effects of blue-collar work and exposure to occupational contaminants on developing IgG4-RD of the biliary tract and pancreas. Results: Overall, 101 patients with IgG4-RD of the biliary tract and pancreas were matched 1:3 to 303 controls. Patients with IgG4-RD had a lower level of education (p = 0.001). Individuals who at least once performed blue-collar work (>1 year), had higher odds of developing IgG4-RD than individuals that only performed white-collar work (odds ratio [OR] 3.66; CI 2.18–6.13; p 1 year) to industrial ALOHA (e.g. mineral dust; vapors-dust-gases-fumes) and DOM compounds (e.g. asbestos) resulted in higher odds of IgG4-RD (OR 2.14; 95% CI 1.26–3.16; p <0.001 and OR 2.95; 95% CI 1.78-4.90; p <0.001, respectively). Conclusion: Blue-collar work is a risk factor for developing IgG4-RD of the biliary tract and pancreas putatively driven by exposure to selected industrial compounds; this may explain the striking male predominance among patients. Lay summary: Immunoglobulin G4-related disease (IgG4-RD) causes tumor-like lesions and typically affects middle-aged to elderly men. The background and cause of this disease remain relatively unknown. In this study, we identified blue-collar work as a risk factor for developing IgG4-RD of the biliary tract and pancreas, which may explain the striking male predominance among patients. Furthermore, these results suggest that toxic exposure to occupational contaminants may drive autoimmunity in IgG4-RD of the biliary tract and pancreas

Blue-collar work is a risk factor for developing IgG4-related disease of the biliary tract and pancreas

Background & Aims: Immunoglobulin G4-related disease (IgG4-RD) of the biliary tract and pancreas is a fibroinflammatory disease of unknown origin with striking male predominance. We aimed to investigate whether blue-collar work and occupational contaminant exposure are risk factors for IgG4-RD of the biliary tract and pancreas. Method: We performed an age-/sex-matched case-control study in the largest academic medical centers of the Netherlands. Occupational history was surveyed by questionnaires. The International Standard Classification of Occupations (ISCO88) was used to classify jobs. Job exposure matrices ALOHA and DOM were utilized to assess the years individuals were exposed to compounds. The disease control cohort consisted of patients from 6 equally sized groups. Conditional logistic regression was used to assess effects of blue-collar work and exposure to occupational contaminants on developing IgG4-RD of the biliary tract and pancreas. Results: Overall, 101 patients with IgG4-RD of the biliary tract and pancreas were matched 1:3 to 303 controls. Patients with IgG4-RD had a lower level of education (p = 0.001). Individuals who at least once performed blue-collar work (>1 year), had higher odds of developing IgG4-RD than individuals that only performed white-collar work (odds ratio [OR] 3.66; CI 2.18–6.13; p 1 year) to industrial ALOHA (e.g. mineral dust; vapors-dust-gases-fumes) and DOM compounds (e.g. asbestos) resulted in higher odds of IgG4-RD (OR 2.14; 95% CI 1.26–3.16; p <0.001 and OR 2.95; 95% CI 1.78-4.90; p <0.001, respectively). Conclusion: Blue-collar work is a risk factor for developing IgG4-RD of the biliary tract and pancreas putatively driven by exposure to selected industrial compounds; this may explain the striking male predominance among patients. Lay summary: Immunoglobulin G4-related disease (IgG4-RD) causes tumor-like lesions and typically affects middle-aged to elderly men. The background and cause of this disease remain relatively unknown. In this study, we identified blue-collar work as a risk factor for developing IgG4-RD of the biliary tract and pancreas, which may explain the striking male predominance among patients. Furthermore, these results suggest that toxic exposure to occupational contaminants may drive autoimmunity in IgG4-RD of the biliary tract and pancreas

Blue-collar work is a risk factor for developing IgG4-related disease of the biliary tract and pancreas

Background & Aims: Immunoglobulin G4-related disease (IgG4-RD) of the biliary tract and pancreas is a fibroinflammatory disease of unknown origin with striking male predominance. We aimed to investigate whether blue-collar work and occupational contaminant exposure are risk factors for IgG4-RD of the biliary tract and pancreas. Method: We performed an age-/sex-matched case-control study in the largest academic medical centers of the Netherlands. Occupational history was surveyed by questionnaires. The International Standard Classification of Occupations (ISCO88) was used to classify jobs. Job exposure matrices ALOHA and DOM were utilized to assess the years individuals were exposed to compounds. The disease control cohort consisted of patients from 6 equally sized groups. Conditional logistic regression was used to assess effects of blue-collar work and exposure to occupational contaminants on developing IgG4-RD of the biliary tract and pancreas. Results: Overall, 101 patients with IgG4-RD of the biliary tract and pancreas were matched 1:3 to 303 controls. Patients with IgG4-RD had a lower level of education (p = 0.001). Individuals who at least once performed blue-collar work (>1 year), had higher odds of developing IgG4-RD than individuals that only performed white-collar work (odds ratio [OR] 3.66; CI 2.18–6.13; p 1 year) to industrial ALOHA (e.g. mineral dust; vapors-dust-gases-fumes) and DOM compounds (e.g. asbestos) resulted in higher odds of IgG4-RD (OR 2.14; 95% CI 1.26–3.16; p <0.001 and OR 2.95; 95% CI 1.78-4.90; p <0.001, respectively). Conclusion: Blue-collar work is a risk factor for developing IgG4-RD of the biliary tract and pancreas putatively driven by exposure to selected industrial compounds; this may explain the striking male predominance among patients. Lay summary: Immunoglobulin G4-related disease (IgG4-RD) causes tumor-like lesions and typically affects middle-aged to elderly men. The background and cause of this disease remain relatively unknown. In this study, we identified blue-collar work as a risk factor for developing IgG4-RD of the biliary tract and pancreas, which may explain the striking male predominance among patients. Furthermore, these results suggest that toxic exposure to occupational contaminants may drive autoimmunity in IgG4-RD of the biliary tract and pancreas